Marta Cialdea: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Temporal abductive reasoning about biochemical reactions

Cerrito, Serenella, Cialdea Mayer, Marta, Demolombe, Robert

Journal:

Journal of Applied Non-Classical Logics

Year:

2017

Language:

english

File:

PDF, 2.24 MB

english, 2017

2

Linear temporal logic as an executable semantics for planning languages

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni

Journal:

Journal of Logic, Language and Information

Year:

2007

Language:

english

File:

PDF, 301 KB

english, 2007

3

A Modal Herbrand's Property

Marta Cialdea, Luis Fariñas del Cerro

Journal:

Mathematical Logic Quarterly

Year:

1986

Language:

english

File:

PDF, 436 KB

english, 1986

4

Resolution for some first-order modal systems

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.24 MB

english, 1991

5

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics

Marta Cialdea Mayer, Serenella Cerrito

Journal:

Year:

2001

Language:

english

File:

PDF, 369 KB

english, 2001

6

Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic

Journal:

Information Processing Letters

Year:

1986

Language:

english

File:

PDF, 227 KB

english, 1986

7

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 2796 || Logistica 2.0: A Technology for Implementing Automatic Deduction Systems

Cialdea Mayer, Marta, Pirri, Fiora

Year:

2003

Language:

english

File:

PDF, 91 KB

english, 2003

8

A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

Serenella Cerrito, Marta Cialdea Mayer

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

9

Extended Decision Procedure for a Fragment of HL with Binders

Cialdea Mayer, Marta

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 474 KB

english, 2014

10

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - A Formal Account of Planning with Flexible Timelines

Mayer, Marta Cialdea, Orlandini, Andrea, Umbrico, Alessandro

Year:

2014

Language:

english

File:

PDF, 362 KB

english, 2014

11

An efficient approach to nominal equalities in hybrid logic tableaux

Cerrito, Serenella, Mayer, Marta Cialdea

Journal:

Journal of Applied Non-Classical Logics

Year:

2010

Language:

english

File:

PDF, 241 KB

english, 2010

12

First order abduction via tableau and sequent calculi

MAYER, MARTA CIALDEA, PIRRI, FIORA

Journal:

Logic Journal of IGPL

Year:

1993

Language:

english

File:

PDF, 967 KB

english, 1993

13

Herbrand style proof procedures for modal logic

Journal:

Journal of Applied Non-Classical Logics

Year:

1993

Language:

english

File:

PDF, 929 KB

english, 1993

14

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 2796 ||

Cialdea Mayer, Marta, Pirri, Fiora

Year:

2003

Language:

english

File:

PDF, 2.64 MB

english, 2003

15

Propositional Abduction in Modal Logic

MAYER, MARTA CIALDEA, PIRRI, FIORA

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 673 KB

english, 1995

16

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 2796 || SOLAR: A Consequence Finding System for Advanced Reasoning

Cialdea Mayer, Marta, Pirri, Fiora

Year:

2003

Language:

english

File:

PDF, 145 KB

english, 2003

17

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - An Executable Semantics of Flexible Plans in Terms of Timed Game Automata

Mayer, Marta Cialdea, Orlandini, Andrea

Year:

2015

Language:

english

File:

PDF, 234 KB

english, 2015

18

Planning and execution with flexible timelines: a formal account

Cialdea Mayer, Marta, Orlandini, Andrea, Umbrico, Alessandro

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 708 KB

english, 2016

19

Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders

Mayer, Marta Cialdea

Journal:

Journal of Automated Reasoning

Year:

2015

File:

PDF, 41 KB

2015

20

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Gigante, Nicola, Montanari, Angelo, Mayer, Marta Cialdea, Orlandini, Andrea

Year:

2016

Language:

english

File:

PDF, 236 KB

english, 2016

21

A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies

Cialdea Mayer, Marta

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 1.48 MB

english, 2019